perm filename TRACE.MA2[AM,DBL] blob
sn#574945 filedate 1981-03-20 generic text, type T, neo UTF8
<CSD.LENAT>TRACE.MAR20.2 is now open.
"20-Mar-81 10:45:44"
←
Eurisko)
Starting EURISKO
Douglas B. Lenat
February, 1981
Fully Initialize? (Y or N):
N
OK, just initializing the slot definitions.
Ready to start? Y
Task 1: Focusing on PerfSquare
the IfPotentiallyRelevant slot of H1 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H5 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H6 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H3 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H4 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H7 holds for PerfSquare
the IfTrulyRelevant slot of H7 holds for PerfSquare
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to PerfSquare
Since PerfSquare has no known Examples, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to PerfSquare
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H9 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H10 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H11 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H2 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of H12 didn't hold for PerfSquare
the IfPotentiallyRelevant slot of HAvoid didn't hold for PerfSquare
Task 2: Working on a new promising task: (It is AlmostCertain (825) that
finding Examples of PerfSquare will be worthwhile, since: ((To properly study
PerfSquare we must gather empirical data about instances of that concept)))
The IfWorkingOnTask slot of heuristic H10(If C is Range (f) , then Exs (C) can
be gotten from Applics (f)) applies to the current task.
the ThenCompute slot of H10 has been applied to (825 PerfSquare Examples ((
To properly study PerfSquare we must gather empirical data about instances of
that concept)) ((CreditTo H7)))
Hmmm... can't proceed with this until some Applics of Square are known.
the ThenAddToAgenda slot of H10 was applied to (825 PerfSquare Examples ((To
properly study PerfSquare we must gather empirical data about instances of that
concept)) ((CreditTo H7))) but for some reason it signalled a failure
, so the remaining ThenParts of the rule weren't applied.
The results of this task were: ((NewTasks (1 task to find Applics of Square and
1 task just like the current one)))
Task 3: Working on a new promising task: (It is AlmostCertain (824) that
finding Applics of Square will be worthwhile, since: ((Recent task was stymied
for lack of such applics; namely, trying to find Examples of PerfSquare)))
The IfWorkingOnTask slot of heuristic H8(Applics (u) may be found amongst
Applics (Genl (u))) applies to the current task.
the ThenCompute slot of H8 was applied to (824 Square Applics ((Recent task
was stymied for lack of such applics; namely, trying to find Examples of
PerfSquare)) ((CreditTo H10))) but for some reason it signalled a failure
, so the remaining ThenParts of the rule weren't applied.
The IfWorkingOnTask slot of heuristic H11(Applics (f) may be found by running
Alg (f) on members of u's Domain) applies to the current task.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++++++++++++++++++++++++++++++++ the ThenCompute slot of H11
has been applied to (824 Square Applics ((Recent task was stymied for lack of
such applics; namely, trying to find Examples of PerfSquare)) ((CreditTo H10)))
Instantiated Square; found 200 Applics
Namely: (((0) 0) ((1) 1) ((2) 4) ((3) 9) ((4) 16) ((5) 25) ((6) 36) ((7) 49) (
(8) 64) ((9) 81) ((10) 100) ((11) 121) ((12) 144) ((13) 169) ((14) 196) ((15)
225) ((16) 256) ((17) 289) ((18) 324) ((19) 361) ((20) 400) ((21) 441) ((22) 484
) ((23) 529) ((24) 576) ((25) 625) ((26) 676) ((27) 729) ((28) 784) ((29) 841) (
(30) 900) ((31) 961) ((32) 1024) ((33) 1089) ((34) 1156) ((35) 1225) ((36) 1296)
((37) 1369) ((38) 1444) ((39) 1521) ((40) 1600) ((41) 1681) ((42) 1764) ((43)
1849) ((44) 1936) ((45) 2025) ((46) 2116) ((47) 2209) ((48) 2304) ((49) 2401) ((
50) 2500) ((51) 2601) ((52) 2704) ((53) 2809) ((54) 2916) ((55) 3025) ((56) 3136
) ((57) 3249) ((58) 3364) ((59) 3481) ((60) 3600) ((61) 3721) ((62) 3844) ((63)
3969) ((64) 4096) ((65) 4225) ((66) 4356) ((67) 4489) ((68) 4624) ((69) 4761) ((
70) 4900) ((71) 5041) ((72) 5184) ((73) 5329) ((74) 5476) ((75) 5625) ((76) 5776
) ((77) 5929) ((78) 6084) ((79) 6241) ((80) 6400) ((81) 6561) ((82) 6724) ((83)
6889) ((84) 7056) ((85) 7225) ((86) 7396) ((87) 7569) ((88) 7744) ((89) 7921) ((
90) 8100) ((91) 8281) ((92) 8464) ((93) 8649) ((94) 8836) ((95) 9025) ((96) 9216
) ((97) 9409) ((98) 9604) ((99) 9801) ((100) 10000) ((101) 10201) ((102) 10404)
((103) 10609) ((104) 10816) ((105) 11025) ((106) 11236) ((107) 11449) ((108)
11664) ((109) 11881) ((110) 12100) ((111) 12321) ((112) 12544) ((113) 12769) ((
114) 12996) ((115) 13225) ((116) 13456) ((117) 13689) ((118) 13924) ((119) 14161
) ((120) 14400) ((121) 14641) ((122) 14884) ((123) 15129) ((124) 15376) ((125)
15625) ((126) 15876) ((127) 16129) ((128) 16384) ((129) 16641) ((130) 16900) ((
131) 17161) ((132) 17424) ((133) 17689) ((134) 17956) ((135) 18225) ((136) 18496
) ((137) 18769) ((138) 19044) ((139) 19321) ((140) 19600) ((141) 19881) ((142)
20164) ((143) 20449) ((144) 20736) ((145) 21025) ((146) 21316) ((147) 21609) ((
148) 21904) ((149) 22201) ((150) 22500) ((151) 22801) ((152) 23104) ((153) 23409
) ((154) 23716) ((155) 24025) ((156) 24336) ((157) 24649) ((158) 24964) ((159)
25281) ((160) 25600) ((161) 25921) ((162) 26244) ((163) 26569) ((164) 26896) ((
165) 27225) ((166) 27556) ((167) 27889) ((168) 28224) ((169) 28561) ((170) 28900
) ((171) 29241) ((172) 29584) ((173) 29929) ((174) 30276) ((175) 30625) ((176)
30976) ((177) 31329) ((178) 31684) ((179) 32041) ((180) 32400) ((181) 32761) ((
182) 33124) ((183) 33489) ((184) 33856) ((185) 34225) ((186) 34596) ((187) 34969
) ((188) 35344) ((189) 35721) ((190) 36100) ((191) 36481) ((192) 36864) ((193)
37249) ((194) 37636) ((195) 38025) ((196) 38416) ((197) 38809) ((198) 39204) ((
199) 39601))
the ThenPrintToUser slot of H11 has been applied to (824 Square Applics ((
Recent task was stymied for lack of such applics; namely, trying to find
Examples of PerfSquare)) ((CreditTo H10)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewValues (Square Applics (((0) 0) ((1) 1) ((2
) 4) ((3) 9) ((4) 16) ((5) 25) ((6) 36) ((7) 49) ((8) 64) ((9) 81) ((10) 100) ((
11) 121) ((12) 144) ((13) 169) ((14) 196) ((15) 225) ((16) 256) ((17) 289) ((18)
324) ((19) 361) ((20) 400) ((21) 441) ((22) 484) ((23) 529) ((24) 576) ((25)
625) ((26) 676) ((27) 729) ((28) 784) ((29) 841) ((30) 900) ((31) 961) ((32)
1024) ((33) 1089) ((34) 1156) ((35) 1225) ((36) 1296) ((37) 1369) ((38) 1444) ((
39) 1521) ((40) 1600) ((41) 1681) ((42) 1764) ((43) 1849) ((44) 1936) ((45) 2025
) ((46) 2116) ((47) 2209) ((48) 2304) ((49) 2401) ((50) 2500) ((51) 2601) ((52)
2704) ((53) 2809) ((54) 2916) ((55) 3025) ((56) 3136) ((57) 3249) ((58) 3364) ((
59) 3481) ((60) 3600) ((61) 3721) ((62) 3844) ((63) 3969) ((64) 4096) ((65) 4225
) ((66) 4356) ((67) 4489) ((68) 4624) ((69) 4761) ((70) 4900) ((71) 5041) ((72)
5184) ((73) 5329) ((74) 5476) ((75) 5625) ((76) 5776) ((77) 5929) ((78) 6084) ((
79) 6241) ((80) 6400) ((81) 6561) ((82) 6724) ((83) 6889) ((84) 7056) ((85) 7225
) ((86) 7396) ((87) 7569) ((88) 7744) ((89) 7921) ((90) 8100) ((91) 8281) ((92)
8464) ((93) 8649) ((94) 8836) ((95) 9025) ((96) 9216) ((97) 9409) ((98) 9604) ((
99) 9801) ((100) 10000) ((101) 10201) ((102) 10404) ((103) 10609) ((104) 10816)
((105) 11025) ((106) 11236) ((107) 11449) ((108) 11664) ((109) 11881) ((110)
12100) ((111) 12321) ((112) 12544) ((113) 12769) ((114) 12996) ((115) 13225) ((
116) 13456) ((117) 13689) ((118) 13924) ((119) 14161) ((120) 14400) ((121) 14641
) ((122) 14884) ((123) 15129) ((124) 15376) ((125) 15625) ((126) 15876) ((127)
16129) ((128) 16384) ((129) 16641) ((130) 16900) ((131) 17161) ((132) 17424) ((
133) 17689) ((134) 17956) ((135) 18225) ((136) 18496) ((137) 18769) ((138) 19044
) ((139) 19321) ((140) 19600) ((141) 19881) ((142) 20164) ((143) 20449) ((144)
20736) ((145) 21025) ((146) 21316) ((147) 21609) ((148) 21904) ((149) 22201) ((
150) 22500) ((151) 22801) ((152) 23104) ((153) 23409) ((154) 23716) ((155) 24025
) ((156) 24336) ((157) 24649) ((158) 24964) ((159) 25281) ((160) 25600) ((161)
25921) ((162) 26244) ((163) 26569) ((164) 26896) ((165) 27225) ((166) 27556) ((
167) 27889) ((168) 28224) ((169) 28561) ((170) 28900) ((171) 29241) ((172) 29584
) ((173) 29929) ((174) 30276) ((175) 30625) ((176) 30976) ((177) 31329) ((178)
31684) ((179) 32041) ((180) 32400) ((181) 32761) ((182) 33124) ((183) 33489) ((
184) 33856) ((185) 34225) ((186) 34596) ((187) 34969) ((188) 35344) ((189) 35721
) ((190) 36100) ((191) 36481) ((192) 36864) ((193) 37249) ((194) 37636) ((195)
38025) ((196) 38416) ((197) 38809) ((198) 39204) ((199) 39601)) (By running
algorithm for Square on random examples from (NNumber) , 200 were found))))
Task 4: Working on a new promising task: (It is Possible (412) that finding
Examples of PerfSquare will be worthwhile, since: ((Had to suspend whilst
gathering Applics of Square) (To properly study PerfSquare we must gather
empirical data about instances of that concept)))
The IfWorkingOnTask slot of heuristic H10(If C is Range (f) , then Exs (C) can
be gotten from Applics (f)) applies to the current task.
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
++++++++++++++++++++++++++++++++++++++++ the ThenCompute slot of H10
has been applied to (412 PerfSquare Examples ((Had to suspend whilst gathering
Applics of Square) (To properly study PerfSquare we must gather empirical data
about instances of that concept)) ((CreditTo H7)))
the ThenAddToAgenda slot of H10 has been applied to (412 PerfSquare Examples
((Had to suspend whilst gathering Applics of Square) (To properly study
PerfSquare we must gather empirical data about instances of that concept)) ((
CreditTo H7)))
Instantiated PerfSquare; there are now 200 Examples
Namely: (0 1 4 9 16 25 36 49 64 81 100 121 144 169 196 225 256 289 324 361 400
441 484 529 576 625 676 729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444
1521 1600 1681 1764 1849 1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916
3025 3136 3249 3364 3481 3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900
5041 5184 5329 5476 5625 5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396
7569 7744 7921 8100 8281 8464 8649 8836 9025 9216 9409 9604 9801 10000 10201
10404 10609 10816 11025 11236 11449 11664 11881 12100 12321 12544 12769 12996
13225 13456 13689 13924 14161 14400 14641 14884 15129 15376 15625 15876 16129
16384 16641 16900 17161 17424 17689 17956 18225 18496 18769 19044 19321 19600
19881 20164 20449 20736 21025 21316 21609 21904 22201 22500 22801 23104 23409
23716 24025 24336 24649 24964 25281 25600 25921 26244 26569 26896 27225 27556
27889 28224 28561 28900 29241 29584 29929 30276 30625 30976 31329 31684 32041
32400 32761 33124 33489 33856 34225 34596 34969 35344 35721 36100 36481 36864
37249 37636 38025 38416 38809 39204 39601)
the ThenPrintToUser slot of H10 has been applied to (412 PerfSquare Examples
((Had to suspend whilst gathering Applics of Square) (To properly study
PerfSquare we must gather empirical data about instances of that concept)) ((
CreditTo H7)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewValues (PerfSquare Examples (0 1 4 9 16 25
36 49 64 81 100 121 144 169 196 225 256 289 324 361 400 441 484 529 576 625 676
729 784 841 900 961 1024 1089 1156 1225 1296 1369 1444 1521 1600 1681 1764 1849
1936 2025 2116 2209 2304 2401 2500 2601 2704 2809 2916 3025 3136 3249 3364 3481
3600 3721 3844 3969 4096 4225 4356 4489 4624 4761 4900 5041 5184 5329 5476 5625
5776 5929 6084 6241 6400 6561 6724 6889 7056 7225 7396 7569 7744 7921 8100 8281
8464 8649 8836 9025 9216 9409 9604 9801 10000 10201 10404 10609 10816 11025
11236 11449 11664 11881 12100 12321 12544 12769 12996 13225 13456 13689 13924
14161 14400 14641 14884 15129 15376 15625 15876 16129 16384 16641 16900 17161
17424 17689 17956 18225 18496 18769 19044 19321 19600 19881 20164 20449 20736
21025 21316 21609 21904 22201 22500 22801 23104 23409 23716 24025 24336 24649
24964 25281 25600 25921 26244 26569 26896 27225 27556 27889 28224 28561 28900
29241 29584 29929 30276 30625 30976 31329 31684 32041 32400 32761 33124 33489
33856 34225 34596 34969 35344 35721 36100 36481 36864 37249 37636 38025 38416
38809 39204 39601) (By examining Applics of Square , Eurisko found 200 Examples
of PerfSquare))))
Task 5: Focusing on PrimeNum
the IfPotentiallyRelevant slot of H1 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H5 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H6 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H3 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H4 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H7 holds for PrimeNum
the IfTrulyRelevant slot of H7 holds for PrimeNum
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to PrimeNum
Since PrimeNum has no known Examples, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to PrimeNum
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H9 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H10 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H11 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H2 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of H12 didn't hold for PrimeNum
the IfPotentiallyRelevant slot of HAvoid didn't hold for PrimeNum
Task 6: Working on a new promising task: (It is AlmostCertain (825) that
finding Examples of PrimeNum will be worthwhile, since: ((To properly study
PrimeNum we must gather empirical data about instances of that concept)))
The IfWorkingOnTask slot of heuristic H9(Exs (u) may be found amongst Exs (
Genl (u))) applies to the current task.
++-+-+---+-+---+-+---+-----+-+-----+---+-+---+-----+-----+-+-----+---+-+-----+--
-+-----+-------+---+-+---+-+---+-------------+---+-----+-+---------+-+-----+----
-+---+-----+-----+-+---------+-+---+-+-----------+-----------+---+-+---+-----+-+
---------+-----+-----+-----+-+-----+---+-+---------+-------------+---+-+---+----
---------+-----+---------+-+---+-----+-------+-----+-----+---+-----+-------+--
the ThenCompute slot of H9 has been applied to (825 PrimeNum Examples ((To
properly study PrimeNum we must gather empirical data about instances of that
concept)) ((CreditTo H7)))
Instantiated PrimeNum; found 78 Examples
Namely: (2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89
97 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193
197 199 211 223 227 229 233 239 241 251 257 263 269 271 277 281 283 293 307 311
313 317 331 337 347 349 353 359 367 373 379 383 389 397)
the ThenPrintToUser slot of H9 has been applied to (825 PrimeNum Examples ((
To properly study PrimeNum we must gather empirical data about instances of that
concept)) ((CreditTo H7)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewValues (PrimeNum Examples (2 3 5 7 11 13 17
19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97 101 103 107 109 113 127
131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 211 223 227 229 233
239 241 251 257 263 269 271 277 281 283 293 307 311 313 317 331 337 347 349 353
359 367 373 379 383 389 397) (By examining Examples of (NNumber) , Eurisko found
78 of them were also Examples of PrimeNum))))
Task 7: Focusing on win1
the IfPotentiallyRelevant slot of H1 didn't hold for win1
the IfPotentiallyRelevant slot of H5 didn't hold for win1
the IfPotentiallyRelevant slot of H6 didn't hold for win1
the IfPotentiallyRelevant slot of H3 didn't hold for win1
the IfPotentiallyRelevant slot of H4 didn't hold for win1
the IfPotentiallyRelevant slot of H7 holds for win1
the IfTrulyRelevant slot of H7 didn't hold for win1
the IfPotentiallyRelevant slot of H8 didn't hold for win1
the IfPotentiallyRelevant slot of H9 didn't hold for win1
the IfPotentiallyRelevant slot of H10 didn't hold for win1
the IfPotentiallyRelevant slot of H11 didn't hold for win1
the IfPotentiallyRelevant slot of H2 didn't hold for win1
the IfPotentiallyRelevant slot of H12 didn't hold for win1
the IfPotentiallyRelevant slot of HAvoid didn't hold for win1
Task 8: Focusing on HindSightRule
the IfPotentiallyRelevant slot of H1 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H5 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H6 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H3 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H4 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H7 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H8 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H9 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H10 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H11 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H2 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of H12 didn't hold for HindSightRule
the IfPotentiallyRelevant slot of HAvoid didn't hold for HindSightRule
Task 9: Focusing on Heuristic
the IfPotentiallyRelevant slot of H1 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H5 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H6 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H3 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H4 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H7 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H8 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H9 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H10 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H11 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H2 didn't hold for Heuristic
the IfPotentiallyRelevant slot of H12 didn't hold for Heuristic
the IfPotentiallyRelevant slot of HAvoid didn't hold for Heuristic
Task 10: Focusing on EvenNum
the IfPotentiallyRelevant slot of H1 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H5 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H6 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H3 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H4 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H7 holds for EvenNum
the IfTrulyRelevant slot of H7 holds for EvenNum
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to EvenNum
Since EvenNum has no known Examples, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to EvenNum
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H9 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H10 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H11 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H2 didn't hold for EvenNum
the IfPotentiallyRelevant slot of H12 didn't hold for EvenNum
the IfPotentiallyRelevant slot of HAvoid didn't hold for EvenNum
Task 11: Working on a new promising task: (It is Probable (750) that finding
Examples of EvenNum will be worthwhile, since: ((To properly study EvenNum we
must gather empirical data about instances of that concept)))
The IfWorkingOnTask slot of heuristic H9(Exs (u) may be found amongst Exs (
Genl (u))) applies to the current task.
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-
the ThenCompute slot of H9 has been applied to (750 EvenNum Examples ((To
properly study EvenNum we must gather empirical data about instances of that
concept)) ((CreditTo H7)))
Instantiated EvenNum; found 200 Examples
Namely: (0 2 4 6 8 10 12 14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48
50 52 54 56 58 60 62 64 66 68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100
102 104 106 108 110 112 114 116 118 120 122 124 126 128 130 132 134 136 138 140
142 144 146 148 150 152 154 156 158 160 162 164 166 168 170 172 174 176 178 180
182 184 186 188 190 192 194 196 198 200 202 204 206 208 210 212 214 216 218 220
222 224 226 228 230 232 234 236 238 240 242 244 246 248 250 252 254 256 258 260
262 264 266 268 270 272 274 276 278 280 282 284 286 288 290 292 294 296 298 300
302 304 306 308 310 312 314 316 318 320 322 324 326 328 330 332 334 336 338 340
342 344 346 348 350 352 354 356 358 360 362 364 366 368 370 372 374 376 378 380
382 384 386 388 390 392 394 396 398)
the ThenPrintToUser slot of H9 has been applied to (750 EvenNum Examples ((
To properly study EvenNum we must gather empirical data about instances of that
concept)) ((CreditTo H7)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewValues (EvenNum Examples (0 2 4 6 8 10 12
14 16 18 20 22 24 26 28 30 32 34 36 38 40 42 44 46 48 50 52 54 56 58 60 62 64 66
68 70 72 74 76 78 80 82 84 86 88 90 92 94 96 98 100 102 104 106 108 110 112 114
116 118 120 122 124 126 128 130 132 134 136 138 140 142 144 146 148 150 152 154
156 158 160 162 164 166 168 170 172 174 176 178 180 182 184 186 188 190 192 194
196 198 200 202 204 206 208 210 212 214 216 218 220 222 224 226 228 230 232 234
236 238 240 242 244 246 248 250 252 254 256 258 260 262 264 266 268 270 272 274
276 278 280 282 284 286 288 290 292 294 296 298 300 302 304 306 308 310 312 314
316 318 320 322 324 326 328 330 332 334 336 338 340 342 344 346 348 350 352 354
356 358 360 362 364 366 368 370 372 374 376 378 380 382 384 386 388 390 392 394
396 398) (By examining Examples of (NNumber) , Eurisko found 200 of them were
also Examples of EvenNum))))
Task 12: Focusing on OddNum
the IfPotentiallyRelevant slot of H1 didn't hold for OddNum
the IfPotentiallyRelevant slot of H5 didn't hold for OddNum
the IfPotentiallyRelevant slot of H6 didn't hold for OddNum
the IfPotentiallyRelevant slot of H3 didn't hold for OddNum
the IfPotentiallyRelevant slot of H4 didn't hold for OddNum
the IfPotentiallyRelevant slot of H7 holds for OddNum
the IfTrulyRelevant slot of H7 holds for OddNum
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to OddNum
Since OddNum has no known Examples, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to OddNum
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for OddNum
the IfPotentiallyRelevant slot of H9 didn't hold for OddNum
the IfPotentiallyRelevant slot of H10 didn't hold for OddNum
the IfPotentiallyRelevant slot of H11 didn't hold for OddNum
the IfPotentiallyRelevant slot of H2 didn't hold for OddNum
the IfPotentiallyRelevant slot of H12 didn't hold for OddNum
the IfPotentiallyRelevant slot of HAvoid didn't hold for OddNum
Task 13: Working on a new promising task: (It is Probable (750) that finding
Examples of OddNum will be worthwhile, since: ((To properly study OddNum we must
gather empirical data about instances of that concept)))
The IfWorkingOnTask slot of heuristic H9(Exs (u) may be found amongst Exs (
Genl (u))) applies to the current task.
-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+-+
the ThenCompute slot of H9 has been applied to (750 OddNum Examples ((To
properly study OddNum we must gather empirical data about instances of that
concept)) ((CreditTo H7)))
Instantiated OddNum; found 200 Examples
Namely: (1 3 5 7 9 11 13 15 17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49
51 53 55 57 59 61 63 65 67 69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99 101
103 105 107 109 111 113 115 117 119 121 123 125 127 129 131 133 135 137 139 141
143 145 147 149 151 153 155 157 159 161 163 165 167 169 171 173 175 177 179 181
183 185 187 189 191 193 195 197 199 201 203 205 207 209 211 213 215 217 219 221
223 225 227 229 231 233 235 237 239 241 243 245 247 249 251 253 255 257 259 261
263 265 267 269 271 273 275 277 279 281 283 285 287 289 291 293 295 297 299 301
303 305 307 309 311 313 315 317 319 321 323 325 327 329 331 333 335 337 339 341
343 345 347 349 351 353 355 357 359 361 363 365 367 369 371 373 375 377 379 381
383 385 387 389 391 393 395 397 399)
the ThenPrintToUser slot of H9 has been applied to (750 OddNum Examples ((To
properly study OddNum we must gather empirical data about instances of that
concept)) ((CreditTo H7)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewValues (OddNum Examples (1 3 5 7 9 11 13 15
17 19 21 23 25 27 29 31 33 35 37 39 41 43 45 47 49 51 53 55 57 59 61 63 65 67
69 71 73 75 77 79 81 83 85 87 89 91 93 95 97 99 101 103 105 107 109 111 113 115
117 119 121 123 125 127 129 131 133 135 137 139 141 143 145 147 149 151 153 155
157 159 161 163 165 167 169 171 173 175 177 179 181 183 185 187 189 191 193 195
197 199 201 203 205 207 209 211 213 215 217 219 221 223 225 227 229 231 233 235
237 239 241 243 245 247 249 251 253 255 257 259 261 263 265 267 269 271 273 275
277 279 281 283 285 287 289 291 293 295 297 299 301 303 305 307 309 311 313 315
317 319 321 323 325 327 329 331 333 335 337 339 341 343 345 347 349 351 353 355
357 359 361 363 365 367 369 371 373 375 377 379 381 383 385 387 389 391 393 395
397 399) (By examining Examples of (NNumber) , Eurisko found 200 of them were
also Examples of OddNum))))
Task 14: Focusing on PerfNum
the IfPotentiallyRelevant slot of H1 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H5 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H6 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H3 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H4 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H7 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H8 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H9 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H10 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H11 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H2 didn't hold for PerfNum
the IfPotentiallyRelevant slot of H12 didn't hold for PerfNum
the IfPotentiallyRelevant slot of HAvoid didn't hold for PerfNum
Task 15: Focusing on ProtoConjec
the IfPotentiallyRelevant slot of H1 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H5 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H6 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H3 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H4 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H7 holds for ProtoConjec
the IfTrulyRelevant slot of H7 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H8 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H9 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H10 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H11 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H2 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of H12 didn't hold for ProtoConjec
the IfPotentiallyRelevant slot of HAvoid didn't hold for ProtoConjec
Task 16: Focusing on H5
the IfPotentiallyRelevant slot of H1 holds for H5
the IfTrulyRelevant slot of H1 didn't hold for H5
the IfPotentiallyRelevant slot of H5 didn't hold for H5
the IfPotentiallyRelevant slot of H6 didn't hold for H5
the IfPotentiallyRelevant slot of H3 didn't hold for H5
the IfPotentiallyRelevant slot of H4 didn't hold for H5
the IfPotentiallyRelevant slot of H7 didn't hold for H5
the IfPotentiallyRelevant slot of H8 didn't hold for H5
the IfPotentiallyRelevant slot of H9 didn't hold for H5
the IfPotentiallyRelevant slot of H10 didn't hold for H5
the IfPotentiallyRelevant slot of H11 didn't hold for H5
the IfPotentiallyRelevant slot of H2 didn't hold for H5
the IfPotentiallyRelevant slot of H12 didn't hold for H5
the IfPotentiallyRelevant slot of HAvoid didn't hold for H5
Task 17: Focusing on H1
the IfPotentiallyRelevant slot of H1 holds for H1
the IfTrulyRelevant slot of H1 holds for H1
All the IfParts of H1(Specialize a sometimes-useful action)
are satisfied, so we are applying the ThenParts.
the ThenConjecture slot of H1 has been applied to H1
the ThenAddToAgenda slot of H1 has been applied to H1
Conjec-1:
Since some specializations of H1 (i.e., Specialize a sometimes-useful action)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H1
, and (to that end) has added a new task to the agenda to find such specializations.
the ThenPrintToUser slot of H1 has been applied to H1
All the ThenParts of H1(Specialize a sometimes-useful action)
have been successfully executed.
the IfPotentiallyRelevant slot of H5 didn't hold for H1
the IfPotentiallyRelevant slot of H6 didn't hold for H1
the IfPotentiallyRelevant slot of H3 didn't hold for H1
the IfPotentiallyRelevant slot of H4 didn't hold for H1
the IfPotentiallyRelevant slot of H7 didn't hold for H1
the IfPotentiallyRelevant slot of H8 didn't hold for H1
the IfPotentiallyRelevant slot of H9 didn't hold for H1
the IfPotentiallyRelevant slot of H10 didn't hold for H1
the IfPotentiallyRelevant slot of H11 didn't hold for H1
the IfPotentiallyRelevant slot of H2 didn't hold for H1
the IfPotentiallyRelevant slot of H12 didn't hold for H1
the IfPotentiallyRelevant slot of HAvoid didn't hold for H1
Task 18: Working on a new promising task: (It is Probable (703) that finding
Specializations of H1 will be worthwhile, since: (Conjec-1))
The IfAboutToWorkOnTask slot of heuristic H5(Specialize u by specializing some
random slots) applies to the current task.
the ThenCompute slot of H5 has been applied to (703 H1 Specializations (
Conjec-1) ((CreditTo H1)))
the ThenAddToAgenda slot of H5 has been applied to (703 H1 Specializations (
Conjec-1) ((CreditTo H1)))
H1 will be specialized by specializing the following of its slots: (
IfTrulyRelevant Worth ThenAddToAgenda)
the ThenPrintToUser slot of H5 has been applied to (703 H1 Specializations (
Conjec-1) ((CreditTo H1)))
The Then Parts of the rule have been executed.
The IfAboutToWorkOnTask slot of heuristic H3(Specialize u by specializing one
random slot) applies to the current task.
the ThenCompute slot of H3 has been applied to (703 H1 Specializations (
Conjec-1) ((CreditTo H1)))
the ThenAddToAgenda slot of H3 has been applied to (703 H1 Specializations (
Conjec-1) ((CreditTo H1)))
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
the ThenPrintToUser slot of H3 has been applied to (703 H1 Specializations (
Conjec-1) ((CreditTo H1)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewTasks (3 specific slots of H1 to find
Specializations of) (1 specific slot of H1 to find Specializations of)))
Task 19: Working on a new promising task: (It is Probable (703) that finding
Specializations of H1 will be worthwhile, since: (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
Conjec-1))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the IfPotentiallyRelevant slot, Applics -> IndirectApplics
the ThenCompute slot of H6 has been applied to (703 H1 Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfPotentiallyRelevant) (CreditTo H3 H1)))
the ThenDefineNewConcepts slot of H6 has been applied to (703 H1
Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfPotentiallyRelevant) (CreditTo H3 H1)))
Specialized the IfPotentiallyRelevant slot of H1, replacing its old value
(which was (LAMBDA (f) (* check that f has some recorded applications -- which
implies, of course, that f is an executable/performable entity) (Applics f)))
by (LAMBDA (f) (* check that f has some recorded applications -- which implies,
of course, that f is an executable/performable entity) (IndirectApplics f)).
the ThenPrintToUser slot of H6 has been applied to (703 H1 Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfPotentiallyRelevant) (CreditTo H3 H1)))
The Then Parts of the rule have been executed.
The IfFinishedWorkingOnTask slot of heuristic H4(Plan to gather empirical data
about new concepts) applies to the current task.
the ThenAddToAgenda slot of H4 has been applied to (703 H1 Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfPotentiallyRelevant) (CreditTo H3 H1)))
1 new units , namely (H1-1),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
the ThenPrintToUser slot of H4 has been applied to (703 H1 Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfPotentiallyRelevant) (CreditTo H3 H1)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewUnits H1-1) (RewardedUnits ((Applics)
because they could have been used in specializing H1)) (NewTasks (1 new units
must have instances found)))
Task 20: Working on a new promising task: (It is Probable (702) that finding
Applics of H1-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
The results of this task were: NIL
Task 21: Working on a new promising task: (It is Probable (678) that finding
Specializations of H1 will be worthwhile, since: (
A new unit will be created by specializing the ThenAddToAgenda slot of H1; that slot was chosen randomly.
Conjec-1))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the ThenAddToAgenda slot, H1 -> H1-1
the ThenCompute slot of H6 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the ThenAddToAgenda slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange ThenAddToAgenda) (CreditTo H5 H1)))
the ThenDefineNewConcepts slot of H6 has been applied to (678 H1
Specializations (
A new unit will be created by specializing the ThenAddToAgenda slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange ThenAddToAgenda) (CreditTo H5 H1)))
Specialized the ThenAddToAgenda slot of H1, replacing its old value (which was (
LAMBDA (f) (SETQ Agenda (MergeTasks (LIST (LIST (AverageWorths f (QUOTE H1)) f (
QUOTE Specializations) (LIST conjec) (LIST (LIST (QUOTE CreditTo) (QUOTE H1)))))
Agenda)) (AddPropL TaskResults (QUOTE NewTasks) (QUOTE (1 unit must be
specialized))))) by (LAMBDA (f) (SETQ Agenda (MergeTasks (LIST (LIST (
AverageWorths f (QUOTE H1-1)) f (QUOTE Specializations) (LIST conjec) (LIST (
LIST (QUOTE CreditTo) (QUOTE H1-1))))) Agenda)) (AddPropL TaskResults (QUOTE
NewTasks) (QUOTE (1 unit must be specialized)))).
the ThenPrintToUser slot of H6 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the ThenAddToAgenda slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange ThenAddToAgenda) (CreditTo H5 H1)))
The Then Parts of the rule have been executed.
The IfFinishedWorkingOnTask slot of heuristic H4(Plan to gather empirical data
about new concepts) applies to the current task.
the ThenAddToAgenda slot of H4 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the ThenAddToAgenda slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange ThenAddToAgenda) (CreditTo H5 H1)))
1 new units , namely (H1-2),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
the ThenPrintToUser slot of H4 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the ThenAddToAgenda slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange ThenAddToAgenda) (CreditTo H5 H1)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewUnits H1-2) (RewardedUnits ((H1
Specializations) because they could have been used in specializing H1)) (
NewTasks (1 new units must have instances found)))
Task 22: Working on a new promising task: (It is Probable (702) that finding
Applics of H1-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
The results of this task were: NIL
Task 23: Working on a new promising task: (It is Probable (678) that finding
Specializations of H1 will be worthwhile, since: (
A new unit will be created by specializing the IfTrulyRelevant slot of H1; that slot was chosen randomly.
Conjec-1))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the IfTrulyRelevant slot, AND -> TheSecondOf
the ThenCompute slot of H6 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the IfTrulyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfTrulyRelevant) (CreditTo H5 H1)))
the ThenDefineNewConcepts slot of H6 has been applied to (678 H1
Specializations (
A new unit will be created by specializing the IfTrulyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfTrulyRelevant) (CreditTo H5 H1)))
Specialized the IfTrulyRelevant slot of H1, replacing its old value (which was (
LAMBDA (f) (* check that some Applics of f have high Worth, but most have low
Worth) (* the extent to which those conditions are met will determine the amount
of energy to expend working on applying this rule -- its overall relevancy) (
AND (SOME (Applics f) (QUOTE (LAMBDA (a) (* this will have the format (args
results)) (SOME (CADR a) (QUOTE HasHighWorth))))) (GREATERP .2 (SETQ Fraction (
FractionOf (MapUnion (Applics f) (QUOTE CADR)) (QUOTE HasHighWorth))))))) by (
LAMBDA (f) (* check that some IndirectApplics of f have high Worth, but most
have low Worth) (* the extent to which those conditions are met will determine
the amount of energy to expend working on applying this rule -- its overall
relevancy) (TheSecondOf (SOME (Applics f) (QUOTE (LAMBDA (a) (* this will have
the format (args results)) (SOME (CADR a) (QUOTE HasHighWorth))))) (GREATERP .2
(SETQ Fraction (FractionOf (MapUnion (Applics f) (QUOTE CADR)) (QUOTE
HasHighWorth)))))).
the ThenPrintToUser slot of H6 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the IfTrulyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfTrulyRelevant) (CreditTo H5 H1)))
The Then Parts of the rule have been executed.
The IfFinishedWorkingOnTask slot of heuristic H4(Plan to gather empirical data
about new concepts) applies to the current task.
the ThenAddToAgenda slot of H4 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the IfTrulyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfTrulyRelevant) (CreditTo H5 H1)))
1 new units , namely (H1-3),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
the ThenPrintToUser slot of H4 has been applied to (678 H1 Specializations (
A new unit will be created by specializing the IfTrulyRelevant slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange IfTrulyRelevant) (CreditTo H5 H1)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewUnits H1-3) (RewardedUnits ((AND Applics)
because they could have been used in specializing H1)) (NewTasks (1 new units
must have instances found)))
Task 24: Working on a new promising task: (It is Probable (702) that finding
Applics of H1-3 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
The results of this task were: NIL
Task 25: Working on a new promising task: (It is Probable (603) that finding
Specializations of H1 will be worthwhile, since: (
A new unit will be created by specializing the Worth slot of H1; that slot was chosen randomly.
Conjec-1))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the Worth slot, 704 -> 405
the ThenCompute slot of H6 has been applied to (603 H1 Specializations (
A new unit will be created by specializing the Worth slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange Worth) (CreditTo H5 H1)))
the ThenDefineNewConcepts slot of H6 has been applied to (603 H1
Specializations (
A new unit will be created by specializing the Worth slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange Worth) (CreditTo H5 H1)))
Specialized the Worth slot of H1, replacing its old value (which was 704) by 405
.
the ThenPrintToUser slot of H6 has been applied to (603 H1 Specializations (
A new unit will be created by specializing the Worth slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange Worth) (CreditTo H5 H1)))
The Then Parts of the rule have been executed.
The IfFinishedWorkingOnTask slot of heuristic H4(Plan to gather empirical data
about new concepts) applies to the current task.
the ThenAddToAgenda slot of H4 has been applied to (603 H1 Specializations (
A new unit will be created by specializing the Worth slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange Worth) (CreditTo H5 H1)))
1 new units , namely (H1-4),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
the ThenPrintToUser slot of H4 has been applied to (603 H1 Specializations (
A new unit will be created by specializing the Worth slot of H1; that slot was chosen randomly.
Conjec-1) ((SlotToChange Worth) (CreditTo H5 H1)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewUnits H1-4) (NewTasks (1 new units must
have instances found)))
Task 26: Working on a new promising task: (It is Possible (553) that finding
Applics of H1-4 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
The results of this task were: NIL
Task 27: Focusing on Conjec-1
the IfPotentiallyRelevant slot of H1 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H5 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H6 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H3 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H4 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H7 holds for Conjec-1
the IfTrulyRelevant slot of H7 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H8 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H9 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H10 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H11 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H2 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H12 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of HAvoid didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H1-1 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H1-2 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H1-3 didn't hold for Conjec-1
the IfPotentiallyRelevant slot of H1-4 didn't hold for Conjec-1
Task 28: Focusing on H1-3
the IfPotentiallyRelevant slot of H1 didn't hold for H1-3
the IfPotentiallyRelevant slot of H5 didn't hold for H1-3
the IfPotentiallyRelevant slot of H6 didn't hold for H1-3
the IfPotentiallyRelevant slot of H3 didn't hold for H1-3
the IfPotentiallyRelevant slot of H4 didn't hold for H1-3
the IfPotentiallyRelevant slot of H7 holds for H1-3
the IfTrulyRelevant slot of H7 holds for H1-3
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to H1-3
Since H1-3 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H1-3
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H1-3
the IfPotentiallyRelevant slot of H9 didn't hold for H1-3
the IfPotentiallyRelevant slot of H10 didn't hold for H1-3
the IfPotentiallyRelevant slot of H11 didn't hold for H1-3
the IfPotentiallyRelevant slot of H2 didn't hold for H1-3
the IfPotentiallyRelevant slot of H12 didn't hold for H1-3
the IfPotentiallyRelevant slot of HAvoid didn't hold for H1-3
the IfPotentiallyRelevant slot of H1-1 didn't hold for H1-3
the IfPotentiallyRelevant slot of H1-2 didn't hold for H1-3
the IfPotentiallyRelevant slot of H1-3 didn't hold for H1-3
the IfPotentiallyRelevant slot of H1-4 didn't hold for H1-3
Task 29: Working on a new promising task: (It is Probable (702) that finding
Applics of H1-3 will be worthwhile, since: ((To properly study H1-3 we must
gather empirical data about instances of that concept)))
The results of this task were: NIL
Task 30: Focusing on H1-2
the IfPotentiallyRelevant slot of H1 didn't hold for H1-2
the IfPotentiallyRelevant slot of H5 didn't hold for H1-2
the IfPotentiallyRelevant slot of H6 didn't hold for H1-2
the IfPotentiallyRelevant slot of H3 didn't hold for H1-2
the IfPotentiallyRelevant slot of H4 didn't hold for H1-2
the IfPotentiallyRelevant slot of H7 holds for H1-2
the IfTrulyRelevant slot of H7 holds for H1-2
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to H1-2
Since H1-2 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H1-2
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H1-2
the IfPotentiallyRelevant slot of H9 didn't hold for H1-2
the IfPotentiallyRelevant slot of H10 didn't hold for H1-2
the IfPotentiallyRelevant slot of H11 didn't hold for H1-2
the IfPotentiallyRelevant slot of H2 didn't hold for H1-2
the IfPotentiallyRelevant slot of H12 didn't hold for H1-2
the IfPotentiallyRelevant slot of HAvoid didn't hold for H1-2
the IfPotentiallyRelevant slot of H1-1 didn't hold for H1-2
the IfPotentiallyRelevant slot of H1-2 didn't hold for H1-2
the IfPotentiallyRelevant slot of H1-3 didn't hold for H1-2
the IfPotentiallyRelevant slot of H1-4 didn't hold for H1-2
Task 31: Working on a new promising task: (It is Probable (702) that finding
Applics of H1-2 will be worthwhile, since: ((To properly study H1-2 we must
gather empirical data about instances of that concept)))
The results of this task were: NIL
Task 32: Focusing on H1-1
the IfPotentiallyRelevant slot of H1 didn't hold for H1-1
the IfPotentiallyRelevant slot of H5 didn't hold for H1-1
the IfPotentiallyRelevant slot of H6 didn't hold for H1-1
the IfPotentiallyRelevant slot of H3 didn't hold for H1-1
the IfPotentiallyRelevant slot of H4 didn't hold for H1-1
the IfPotentiallyRelevant slot of H7 holds for H1-1
the IfTrulyRelevant slot of H7 holds for H1-1
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to H1-1
Since H1-1 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H1-1
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H1-1
the IfPotentiallyRelevant slot of H9 didn't hold for H1-1
the IfPotentiallyRelevant slot of H10 didn't hold for H1-1
the IfPotentiallyRelevant slot of H11 didn't hold for H1-1
the IfPotentiallyRelevant slot of H2 didn't hold for H1-1
the IfPotentiallyRelevant slot of H12 didn't hold for H1-1
the IfPotentiallyRelevant slot of HAvoid didn't hold for H1-1
the IfPotentiallyRelevant slot of H1-1 didn't hold for H1-1
the IfPotentiallyRelevant slot of H1-2 didn't hold for H1-1
the IfPotentiallyRelevant slot of H1-3 didn't hold for H1-1
the IfPotentiallyRelevant slot of H1-4 didn't hold for H1-1
Task 33: Working on a new promising task: (It is Probable (701) that finding
Applics of H1-1 will be worthwhile, since: ((To properly study H1-1 we must
gather empirical data about instances of that concept)))
The results of this task were: NIL
Task 34: Focusing on H3
the IfPotentiallyRelevant slot of H1 holds for H3
the IfTrulyRelevant slot of H1 didn't hold for H3
the IfPotentiallyRelevant slot of H5 didn't hold for H3
the IfPotentiallyRelevant slot of H6 didn't hold for H3
the IfPotentiallyRelevant slot of H3 didn't hold for H3
the IfPotentiallyRelevant slot of H4 didn't hold for H3
the IfPotentiallyRelevant slot of H7 didn't hold for H3
the IfPotentiallyRelevant slot of H8 didn't hold for H3
the IfPotentiallyRelevant slot of H9 didn't hold for H3
the IfPotentiallyRelevant slot of H10 didn't hold for H3
the IfPotentiallyRelevant slot of H11 didn't hold for H3
the IfPotentiallyRelevant slot of H2 didn't hold for H3
the IfPotentiallyRelevant slot of H12 didn't hold for H3
the IfPotentiallyRelevant slot of HAvoid didn't hold for H3
the IfPotentiallyRelevant slot of H1-1 holds for H3
the IfTrulyRelevant slot of H1-1 didn't hold for H3
the IfPotentiallyRelevant slot of H1-2 holds for H3
the IfTrulyRelevant slot of H1-2 didn't hold for H3
the IfPotentiallyRelevant slot of H1-3 holds for H3
the IfTrulyRelevant slot of H1-3 didn't hold for H3
the IfPotentiallyRelevant slot of H1-4 holds for H3
the IfTrulyRelevant slot of H1-4 didn't hold for H3
Task 35: Focusing on H4
the IfPotentiallyRelevant slot of H1 holds for H4
the IfTrulyRelevant slot of H1 didn't hold for H4
the IfPotentiallyRelevant slot of H5 didn't hold for H4
the IfPotentiallyRelevant slot of H6 didn't hold for H4
the IfPotentiallyRelevant slot of H3 didn't hold for H4
the IfPotentiallyRelevant slot of H4 didn't hold for H4
the IfPotentiallyRelevant slot of H7 didn't hold for H4
the IfPotentiallyRelevant slot of H8 didn't hold for H4
the IfPotentiallyRelevant slot of H9 didn't hold for H4
the IfPotentiallyRelevant slot of H10 didn't hold for H4
the IfPotentiallyRelevant slot of H11 didn't hold for H4
the IfPotentiallyRelevant slot of H2 didn't hold for H4
the IfPotentiallyRelevant slot of H12 didn't hold for H4
the IfPotentiallyRelevant slot of HAvoid didn't hold for H4
the IfPotentiallyRelevant slot of H1-1 didn't hold for H4
the IfPotentiallyRelevant slot of H1-2 holds for H4
the IfTrulyRelevant slot of H1-2 didn't hold for H4
the IfPotentiallyRelevant slot of H1-3 holds for H4
the IfTrulyRelevant slot of H1-3 didn't hold for H4
the IfPotentiallyRelevant slot of H1-4 holds for H4
the IfTrulyRelevant slot of H1-4 didn't hold for H4
Task 36: Focusing on HAvoid
the IfPotentiallyRelevant slot of H1 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H5 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H6 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H3 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H4 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H7 holds for HAvoid
the IfTrulyRelevant slot of H7 holds for HAvoid
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to HAvoid
Since HAvoid has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to HAvoid
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H9 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H10 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H11 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H2 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H12 didn't hold for HAvoid
the IfPotentiallyRelevant slot of HAvoid didn't hold for HAvoid
the IfPotentiallyRelevant slot of H1-1 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H1-2 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H1-3 didn't hold for HAvoid
the IfPotentiallyRelevant slot of H1-4 didn't hold for HAvoid
Task 37: Working on a new promising task: (It is Probable (700) that finding
Applics of HAvoid will be worthwhile, since: ((To properly study HAvoid we must
gather empirical data about instances of that concept)))
The results of this task were: NIL
Task 38: Focusing on H12
the IfPotentiallyRelevant slot of H1 didn't hold for H12
the IfPotentiallyRelevant slot of H5 didn't hold for H12
the IfPotentiallyRelevant slot of H6 didn't hold for H12
the IfPotentiallyRelevant slot of H3 didn't hold for H12
the IfPotentiallyRelevant slot of H4 didn't hold for H12
the IfPotentiallyRelevant slot of H7 holds for H12
the IfTrulyRelevant slot of H7 holds for H12
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to H12
Since H12 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H12
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H12
the IfPotentiallyRelevant slot of H9 didn't hold for H12
the IfPotentiallyRelevant slot of H10 didn't hold for H12
the IfPotentiallyRelevant slot of H11 didn't hold for H12
the IfPotentiallyRelevant slot of H2 didn't hold for H12
the IfPotentiallyRelevant slot of H12 didn't hold for H12
the IfPotentiallyRelevant slot of HAvoid didn't hold for H12
the IfPotentiallyRelevant slot of H1-1 didn't hold for H12
the IfPotentiallyRelevant slot of H1-2 didn't hold for H12
the IfPotentiallyRelevant slot of H1-3 didn't hold for H12
the IfPotentiallyRelevant slot of H1-4 didn't hold for H12
Task 39: Working on a new promising task: (It is Probable (700) that finding
Applics of H12 will be worthwhile, since: ((To properly study H12 we must gather
empirical data about instances of that concept)))
The results of this task were: NIL
Task 40: Focusing on H2
the IfPotentiallyRelevant slot of H1 didn't hold for H2
the IfPotentiallyRelevant slot of H5 didn't hold for H2
the IfPotentiallyRelevant slot of H6 didn't hold for H2
the IfPotentiallyRelevant slot of H3 didn't hold for H2
the IfPotentiallyRelevant slot of H4 didn't hold for H2
the IfPotentiallyRelevant slot of H7 holds for H2
the IfTrulyRelevant slot of H7 holds for H2
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to H2
Since H2 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H2
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H2
the IfPotentiallyRelevant slot of H9 didn't hold for H2
the IfPotentiallyRelevant slot of H10 didn't hold for H2
the IfPotentiallyRelevant slot of H11 didn't hold for H2
the IfPotentiallyRelevant slot of H2 didn't hold for H2
the IfPotentiallyRelevant slot of H12 didn't hold for H2
the IfPotentiallyRelevant slot of HAvoid didn't hold for H2
the IfPotentiallyRelevant slot of H1-1 didn't hold for H2
the IfPotentiallyRelevant slot of H1-2 didn't hold for H2
the IfPotentiallyRelevant slot of H1-3 didn't hold for H2
the IfPotentiallyRelevant slot of H1-4 didn't hold for H2
Task 41: Working on a new promising task: (It is Probable (700) that finding
Applics of H2 will be worthwhile, since: ((To properly study H2 we must gather
empirical data about instances of that concept)))
The results of this task were: NIL
Task 42: Focusing on H10
the IfPotentiallyRelevant slot of H1 didn't hold for H10
the IfPotentiallyRelevant slot of H5 didn't hold for H10
the IfPotentiallyRelevant slot of H6 didn't hold for H10
the IfPotentiallyRelevant slot of H3 didn't hold for H10
the IfPotentiallyRelevant slot of H4 didn't hold for H10
the IfPotentiallyRelevant slot of H7 holds for H10
the IfTrulyRelevant slot of H7 holds for H10
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
collecting lists
6616, 10200 free cells
the ThenAddToAgenda slot of H7 has been applied to H10
Since H10 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H10
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H10
the IfPotentiallyRelevant slot of H9 didn't hold for H10
the IfPotentiallyRelevant slot of H10 didn't hold for H10
the IfPotentiallyRelevant slot of H11 didn't hold for H10
the IfPotentiallyRelevant slot of H2 didn't hold for H10
the IfPotentiallyRelevant slot of H12 didn't hold for H10
the IfPotentiallyRelevant slot of HAvoid didn't hold for H10
the IfPotentiallyRelevant slot of H1-1 didn't hold for H10
the IfPotentiallyRelevant slot of H1-2 didn't hold for H10
the IfPotentiallyRelevant slot of H1-3 didn't hold for H10
the IfPotentiallyRelevant slot of H1-4 didn't hold for H10
Task 43: Working on a new promising task: (It is Probable (700) that finding
Applics of H10 will be worthwhile, since: ((To properly study H10 we must gather
empirical data about instances of that concept)))
The results of this task were: NIL
Task 44: Focusing on H11
the IfPotentiallyRelevant slot of H1 didn't hold for H11
the IfPotentiallyRelevant slot of H5 didn't hold for H11
the IfPotentiallyRelevant slot of H6 didn't hold for H11
the IfPotentiallyRelevant slot of H3 didn't hold for H11
the IfPotentiallyRelevant slot of H4 didn't hold for H11
the IfPotentiallyRelevant slot of H7 holds for H11
the IfTrulyRelevant slot of H7 holds for H11
All the IfParts of H7(Instantiate a concept having no known instances)
are satisfied, so we are applying the ThenParts.
the ThenAddToAgenda slot of H7 has been applied to H11
Since H11 has no known Applics, it is probably worth looking for some.
the ThenPrintToUser slot of H7 has been applied to H11
All the ThenParts of H7(Instantiate a concept having no known instances)
have been successfully executed.
the IfPotentiallyRelevant slot of H8 didn't hold for H11
the IfPotentiallyRelevant slot of H9 didn't hold for H11
the IfPotentiallyRelevant slot of H10 didn't hold for H11
the IfPotentiallyRelevant slot of H11 didn't hold for H11
the IfPotentiallyRelevant slot of H2 didn't hold for H11
the IfPotentiallyRelevant slot of H12 didn't hold for H11
the IfPotentiallyRelevant slot of HAvoid didn't hold for H11
the IfPotentiallyRelevant slot of H1-1 didn't hold for H11
the IfPotentiallyRelevant slot of H1-2 didn't hold for H11
the IfPotentiallyRelevant slot of H1-3 didn't hold for H11
the IfPotentiallyRelevant slot of H1-4 didn't hold for H11
Task 45: Working on a new promising task: (It is Probable (700) that finding
Applics of H11 will be worthwhile, since: ((To properly study H11 we must gather
empirical data about instances of that concept)))
The results of this task were: NIL
Task 46: Focusing on H6
the IfPotentiallyRelevant slot of H1 holds for H6
the IfTrulyRelevant slot of H1 didn't hold for H6
the IfPotentiallyRelevant slot of H5 didn't hold for H6
the IfPotentiallyRelevant slot of H6 didn't hold for H6
the IfPotentiallyRelevant slot of H3 didn't hold for H6
the IfPotentiallyRelevant slot of H4 didn't hold for H6
the IfPotentiallyRelevant slot of H7 didn't hold for H6
the IfPotentiallyRelevant slot of H8 didn't hold for H6
the IfPotentiallyRelevant slot of H9 didn't hold for H6
the IfPotentiallyRelevant slot of H10 didn't hold for H6
the IfPotentiallyRelevant slot of H11 didn't hold for H6
the IfPotentiallyRelevant slot of H2 didn't hold for H6
the IfPotentiallyRelevant slot of H12 didn't hold for H6
the IfPotentiallyRelevant slot of HAvoid didn't hold for H6
the IfPotentiallyRelevant slot of H1-1 didn't hold for H6
the IfPotentiallyRelevant slot of H1-2 holds for H6
the IfTrulyRelevant slot of H1-2 didn't hold for H6
the IfPotentiallyRelevant slot of H1-3 holds for H6
the IfTrulyRelevant slot of H1-3 holds for H6
All the IfParts of H1-3(Specialize a sometimes-useful action)
are satisfied, so we are applying the ThenParts.
the ThenConjecture slot of H1-3 has been applied to H6
the ThenAddToAgenda slot of H1-3 has been applied to H6
Conjec-2:
Since some specializations of H6 (i.e., Specialize a given slot of a given unit
)
are quite valuable, but over four-fifths are trash, EURISKO has recognized the value of finding new concepts similar to -- but more specialized than --
H6
, and (to that end) has added a new task to the agenda to find such specializations.
the ThenPrintToUser slot of H1-3 has been applied to H6
All the ThenParts of H1-3(Specialize a sometimes-useful action)
have been successfully executed.
the IfPotentiallyRelevant slot of H1-4 holds for H6
the IfTrulyRelevant slot of H1-4 didn't hold for H6
Task 47: Working on a new promising task: (It is Probable (702) that finding
Specializations of H6 will be worthwhile, since: (Conjec-2))
The IfAboutToWorkOnTask slot of heuristic H5(Specialize u by specializing some
random slots) applies to the current task.
the ThenCompute slot of H5 has been applied to (702 H6 Specializations (
Conjec-2) ((CreditTo H1-3)))
the ThenAddToAgenda slot of H5 has been applied to (702 H6 Specializations (
Conjec-2) ((CreditTo H1-3)))
H6 will be specialized by specializing the following of its slots: (English
IfPotentiallyRelevant Abbrev IfWorkingOnTask)
the ThenPrintToUser slot of H5 has been applied to (702 H6 Specializations (
Conjec-2) ((CreditTo H1-3)))
The Then Parts of the rule have been executed.
The IfAboutToWorkOnTask slot of heuristic H3(Specialize u by specializing one
random slot) applies to the current task.
the ThenCompute slot of H3 has been applied to (702 H6 Specializations (
Conjec-2) ((CreditTo H1-3)))
the ThenAddToAgenda slot of H3 has been applied to (702 H6 Specializations (
Conjec-2) ((CreditTo H1-3)))
A new unit will be created by specializing the IfPotentiallyRelevant slot of H6; that slot was chosen randomly.
the ThenPrintToUser slot of H3 has been applied to (702 H6 Specializations (
Conjec-2) ((CreditTo H1-3)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewTasks (4 specific slots of H6 to find
Specializations of) (1 specific slot of H6 to find Specializations of)))
Task 48: Working on a new promising task: (It is Probable (702) that finding
Specializations of H6 will be worthwhile, since: (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H6; that slot was chosen randomly.
Conjec-2))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Hmmm... couldn't seem to find any meaningful specialization of the
IfPotentiallyRelevant slot of H6
the ThenCompute slot of H6 was applied to (702 H6 Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfPotentiallyRelevant) (CreditTo H3 H1-3)))
but for some reason it signalled a failure
, so the remaining ThenParts of the rule weren't applied.
The results of this task were: NIL
Task 49: Working on a new promising task: (It is Probable (677) that finding
Specializations of H6 will be worthwhile, since: (
A new unit will be created by specializing the IfWorkingOnTask slot of H6; that slot was chosen randomly.
Conjec-2))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the IfWorkingOnTask slot, Specializations -> SubSlots
the ThenCompute slot of H6 has been applied to (677 H6 Specializations (
A new unit will be created by specializing the IfWorkingOnTask slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfWorkingOnTask) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6 has been applied to (677 H6
Specializations (
A new unit will be created by specializing the IfWorkingOnTask slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfWorkingOnTask) (CreditTo H5 H1-3)))
Specialized the IfWorkingOnTask slot of H6, replacing its old value (which was (
LAMBDA (task) (AND (IsAKindOf CurSlot (QUOTE Specializations)) (SETQ
SlotToChange (CADR (ASSOC (QUOTE SlotToChange) CurSup)))))) by (LAMBDA (task) (
AND (IsAKindOf CurSlot (QUOTE SubSlots)) (SETQ SlotToChange (CADR (ASSOC (QUOTE
SlotToChange) CurSup))))).
the ThenPrintToUser slot of H6 has been applied to (677 H6 Specializations (
A new unit will be created by specializing the IfWorkingOnTask slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfWorkingOnTask) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfFinishedWorkingOnTask slot of heuristic H4(Plan to gather empirical data
about new concepts) applies to the current task.
the ThenAddToAgenda slot of H4 has been applied to (677 H6 Specializations (
A new unit will be created by specializing the IfWorkingOnTask slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfWorkingOnTask) (CreditTo H5 H1-3)))
1 new units , namely (H6-1),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
the ThenPrintToUser slot of H4 has been applied to (677 H6 Specializations (
A new unit will be created by specializing the IfWorkingOnTask slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfWorkingOnTask) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewUnits H6-1) (RewardedUnits ((AND
Specializations) because they could have been used in specializing H6)) (
NewTasks (1 new units must have instances found)))
Task 50: Working on a new promising task: (It is Probable (700) that finding
Applics of H6-1 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
The results of this task were: NIL
Task 51: Working on a new promising task: (It is Probable (677) that finding
Specializations of H6 will be worthwhile, since: (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H6; that slot was chosen randomly.
Conjec-2))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Hmmm... couldn't seem to find any meaningful specialization of the
IfPotentiallyRelevant slot of H6
the ThenCompute slot of H6 was applied to (677 H6 Specializations (
A new unit will be created by specializing the IfPotentiallyRelevant slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange IfPotentiallyRelevant) (CreditTo H5 H1-3)))
but for some reason it signalled a failure
, so the remaining ThenParts of the rule weren't applied.
The results of this task were: NIL
Task 52: Working on a new promising task: (It is Probable (602) that finding
Specializations of H6 will be worthwhile, since: (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the Abbrev slot, Eliminated: a unit
the ThenCompute slot of H6 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
Specialized the Abbrev slot of H6, replacing its old value (which was (
Specialize a given slot of a given unit)) by (Specialize a given slot of given).
the ThenPrintToUser slot of H6 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-2(Specialize a given slot of given)
applies to the current task.
Inside the Abbrev slot, Eliminated: a slot of a
the ThenCompute slot of H6-2 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-2 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
Specialized the Abbrev slot of H6, replacing its old value (which was (
Specialize a given slot of a given unit)) by (Specialize given given unit).
the ThenPrintToUser slot of H6-2 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfFinishedWorkingOnTask slot of heuristic H4(Plan to gather empirical data
about new concepts) applies to the current task.
the ThenAddToAgenda slot of H4 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
1 new units , namely (H6-2),
were defined. New tasks are being added to the agenda to ensure that empirical data about them will soon be gathered.
the ThenPrintToUser slot of H4 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the Abbrev slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange Abbrev) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The results of this task were: ((NewUnits H6-2) (NewTasks (1 new units must
have instances found)))
Task 53: Working on a new promising task: (It is Probable (700) that finding
Applics of H6-2 will be worthwhile, since: (
After a unit is synthesized, it is useful to seek instances of it.))
The results of this task were: NIL
Task 54: Working on a new promising task: (It is Probable (602) that finding
Specializations of H6 will be worthwhile, since: (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2))
The IfWorkingOnTask slot of heuristic H6(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the task is specialize a unit, and a has
chosen the THEN randomly part of that part
the ThenCompute slot of H6 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current to slot been to be one changed, select a it and specialize).
the ThenPrintToUser slot of H6 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-2(Specialize a given slot of given)
applies to the current task.
Inside the English slot, Eliminated: task is unit, and slot been chosen to the
one randomly that part
the ThenCompute slot of H6-2 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-2 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
current to specialize a a has be changed, THEN select a part of it and
specialize).
the ThenPrintToUser slot of H6-2 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-3(Specialize given given unit)
applies to the current task.
Inside the English slot, Eliminated: IF the is specialize a chosen be changed,
select part it and specialize
the ThenCompute slot of H6-3 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-3 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current task to unit, and a slot has been to the one THEN randomly a of that
part).
the ThenPrintToUser slot of H6-3 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-4(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the to and a has chosen be one changed,
THEN randomly select part of and specialize that
the ThenCompute slot of H6-4 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-4 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current task is specialize a unit, slot been to the a it part).
the ThenPrintToUser slot of H6-4 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-5(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task is to specialize unit, and to
one changed, randomly select part it specialize that
the ThenCompute slot of H6-5 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-5 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current a a slot has been chosen be the THEN a of and part).
the ThenPrintToUser slot of H6-5 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-6(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task unit, and a slot been to be one
changed, randomly select specialize that
the ThenCompute slot of H6-6 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-6 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current is to specialize a has chosen the THEN a part of it and part).
the ThenPrintToUser slot of H6-6 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-7(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: task is to specialize a unit, and a chosen
to the THEN a part of it specialize that part
the ThenCompute slot of H6-7 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-7 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
current slot has been be one changed, randomly select and).
the ThenPrintToUser slot of H6-7 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-8(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the task is to specialize a and a has been
chosen the one of specialize that
the ThenCompute slot of H6-8 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
3907, 10051 free cells
the ThenDefineNewConcepts slot of H6-8 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current unit, slot to be changed, THEN randomly select a part it and part).
the ThenPrintToUser slot of H6-8 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-9(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the task specialize unit, and slot has to
select of it and specialize that part
the ThenCompute slot of H6-9 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-9 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current is to a a been chosen be the one changed, THEN randomly a part).
the ThenPrintToUser slot of H6-9 has been applied to (602 H6 Specializations
(
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-10(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current task is specialize a and THEN
select part specialize
the ThenCompute slot of H6-10 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-10 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
to unit, a slot has been chosen to be the one changed, randomly a of it and
that part).
the ThenPrintToUser slot of H6-10 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-11(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current task to and a has been to randomly
part of it
the ThenCompute slot of H6-11 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-11 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
is specialize a unit, slot chosen be the one changed, THEN select a and
specialize that part).
the ThenPrintToUser slot of H6-11 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-12(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: task is a and been changed, select part of
that
the ThenCompute slot of H6-12 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-12 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
current to specialize unit, a slot has chosen to be the one THEN randomly a it
and specialize part).
the ThenPrintToUser slot of H6-12 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-13(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the current task to specialize a unit, a
has been to be the one changed, THEN select a it and specialize
the ThenCompute slot of H6-13 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting string characters
50, 562 free cells
the ThenDefineNewConcepts slot of H6-13 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (is and
slot chosen randomly part of that part).
the ThenPrintToUser slot of H6-13 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-14(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current task is to specialize unit, and
slot has chosen to be randomly select part of and part
the ThenCompute slot of H6-14 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-14 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
a a been the one changed, THEN a it specialize that).
the ThenPrintToUser slot of H6-14 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-15(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF task is a slot has been chosen to be one
randomly select of it specialize that part
the ThenCompute slot of H6-15 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-15 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current to specialize unit, and a the changed, THEN a part and).
the ThenPrintToUser slot of H6-15 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-16(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the current is to specialize a unit, and a
changed, randomly of it specialize
the ThenCompute slot of H6-16 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-16 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
task slot has been chosen to be the one THEN select a part and that part).
the ThenPrintToUser slot of H6-16 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-17(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF task is and a has chosen be changed,
THEN of and part
the ThenCompute slot of H6-17 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-17 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current to specialize a unit, slot been to the one randomly select a part it
specialize that).
the ThenPrintToUser slot of H6-17 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-18(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF to specialize unit, and a has been
chosen be one THEN randomly a and specialize that
the ThenCompute slot of H6-18 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-18 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current task is a slot to the changed, select part of it part).
the ThenPrintToUser slot of H6-18 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-19(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF current is specialize a and been chosen
to be changed, THEN randomly select a of it that part
the ThenCompute slot of H6-19 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-19 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
task to unit, a slot has the one part and specialize).
the ThenPrintToUser slot of H6-19 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-20(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the task unit, has been chosen to THEN
select a and
the ThenCompute slot of H6-20 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-20 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current is to specialize a and a slot be the one changed, randomly part of it
specialize that part).
the ThenPrintToUser slot of H6-20 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-21(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF task is a unit, and has chosen the one
changed, THEN select a part it that
the ThenCompute slot of H6-21 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-21 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current to specialize a slot been to be randomly of and specialize part).
the ThenPrintToUser slot of H6-21 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-22(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the current task is to slot has be THEN
randomly select a specialize part
the ThenCompute slot of H6-22 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
4556, 10188 free cells
the ThenDefineNewConcepts slot of H6-22 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
specialize a unit, and a been chosen to the one changed, part of it and that).
the ThenPrintToUser slot of H6-22 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-23(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: task is specialize unit, and a been chosen
to be one changed, randomly select that
the ThenCompute slot of H6-23 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-23 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
current to a slot has the THEN a part of it and specialize part).
the ThenPrintToUser slot of H6-23 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-24(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the current is a unit, and a slot has
chosen to be changed, THEN randomly select a of
the ThenCompute slot of H6-24 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-24 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (task
to specialize been the one part it and specialize that part).
the ThenPrintToUser slot of H6-24 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-25(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the task is specialize and a changed, THEN
randomly of it and that part
the ThenCompute slot of H6-25 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-25 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current to a unit, slot has been chosen to be the one select a part specialize).
the ThenPrintToUser slot of H6-25 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-26(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF current specialize unit, and slot has
been chosen be changed, THEN randomly select a part of part
the ThenCompute slot of H6-26 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-26 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
task is to a a to the one it and specialize that).
the ThenPrintToUser slot of H6-26 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-27(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the current to specialize and a has to
the changed, THEN a of it
the ThenCompute slot of H6-27 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-27 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (task
is a unit, slot been chosen be one randomly select part and specialize that part
).
the ThenPrintToUser slot of H6-27 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-28(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the to a slot has to the one changed,
select a and specialize that
the ThenCompute slot of H6-28 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-28 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current task is specialize unit, and a been chosen be THEN randomly part of it
part).
the ThenPrintToUser slot of H6-28 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-29(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the current task is to unit, has been
chosen be the changed, THEN a part of that
the ThenCompute slot of H6-29 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
5334, 10454 free cells
the ThenDefineNewConcepts slot of H6-29 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
specialize a and a slot to one randomly select it and specialize part).
the ThenPrintToUser slot of H6-29 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-30(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current to slot has been to the changed,
randomly part it specialize that part
the ThenCompute slot of H6-30 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-30 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
task is specialize a unit, and a chosen be one THEN select a of and).
the ThenPrintToUser slot of H6-30 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-31(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF current is unit, has chosen to one THEN
select a that
the ThenCompute slot of H6-31 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-31 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
task to specialize a and a slot been be the changed, randomly part of it and
specialize part).
the ThenPrintToUser slot of H6-31 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-32(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: task is specialize unit, and slot to be one
changed, THEN randomly select part it and specialize that
the ThenCompute slot of H6-32 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-32 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
current to a a has been chosen the a of part).
the ThenPrintToUser slot of H6-32 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-33(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the current to a a been be THEN select part
it that
the ThenCompute slot of H6-33 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-33 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
task is specialize unit, and slot has chosen to the one changed, randomly a of
and specialize part).
the ThenPrintToUser slot of H6-33 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-34(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task is to slot been chosen be THEN
randomly select of it and part
the ThenCompute slot of H6-34 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-34 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current specialize a unit, and a has to the one changed, a part specialize that)
.
the ThenPrintToUser slot of H6-34 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-35(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF specialize a slot has to be the one
select a and specialize that part
the ThenCompute slot of H6-35 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting εists
6542, 10126 free cells, 40 pages left
the ThenDefineNewConcepts slot of H6-35 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current task is to unit, and a been chosen changed, THEN randomly part of it).
the ThenPrintToUser slot of H6-35 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-36(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the specialize a unit, and a slot has
changed, THEN part of specialize
the ThenCompute slot of H6-36 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-36 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current task is to been chosen to be the one randomly select a it and that part)
.
the ThenPrintToUser slot of H6-36 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-37(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task specialize unit, slot been
changed, select a part of and specialize part
the ThenCompute slot of H6-37 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-37 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current is to a and a has chosen to be the one THEN randomly it that).
the ThenPrintToUser slot of H6-37 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-38(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the to a a slot been one changed, THEN
of it that part
the ThenCompute slot of H6-38 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-38 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current task is specialize unit, and has chosen to be the randomly select a part
and specialize).
the ThenPrintToUser slot of H6-38 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-39(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the task is to a slot has been chosen THEN
select a of and that
the ThenCompute slot of H6-39 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-39 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current specialize a unit, and to be the one changed, randomly part it
specialize part).
the ThenPrintToUser slot of H6-39 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-40(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the is unit, slot to one changed, THEN
randomly a part of it and specialize that
the ThenCompute slot of H6-40 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-40 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current task to specialize a and a has been chosen be the select part).
the ThenPrintToUser slot of H6-40 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-41(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the current task is unit, slot has chosen
to be THEN randomly a part that part
the ThenCompute slot of H6-41 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
6554, 10138 free cells, 33 pages left
the ThenDefineNewConcepts slot of H6-41 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF to
specialize a and a been the one changed, select of it and specialize).
the ThenPrintToUser slot of H6-41 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-42(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current task is specialize and a slot has
to the one changed, select a of it that
the ThenCompute slot of H6-42 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-42 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
to a unit, been chosen be THEN randomly part and specialize part).
the ThenPrintToUser slot of H6-42 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-43(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current to unit, and a has be changed, THEN
randomly select part of and part
the ThenCompute slot of H6-43 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-43 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
task is specialize a slot been chosen to the one a it specialize that).
the ThenPrintToUser slot of H6-43 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-44(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current is to specialize a slot has been to
the one changed, THEN select a part it specialize
the ThenCompute slot of H6-44 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-44 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
task a unit, and chosen be randomly of and that part).
the ThenPrintToUser slot of H6-44 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-45(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the to specialize a unit, has chosen be
randomly a part and that part
the ThenCompute slot of H6-45 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
6774, 10358 free cells, 26 pages left
the ThenDefineNewConcepts slot of H6-45 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current task is and a slot been to the one changed, THEN select of it specialize
).
the ThenPrintToUser slot of H6-45 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-46(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task specialize a unit, and slot
been chosen to be the select a of it that
the ThenCompute slot of H6-46 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-46 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current is to a has one changed, THEN randomly part and specialize part).
the ThenPrintToUser slot of H6-46 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-47(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF task is specialize unit, and a chosen
select of and that
the ThenCompute slot of H6-47 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-47 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current to a slot has been to be the one changed, THEN randomly a part it
specialize part).
the ThenPrintToUser slot of H6-47 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-48(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the current task to a and a slot been be
the one changed, THEN randomly a part and
the ThenCompute slot of H6-48 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-48 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (is
specialize unit, has chosen to select of it specialize that part).
the ThenPrintToUser slot of H6-48 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-49(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task is to specialize unit, and has
to be the randomly part of part
the ThenCompute slot of H6-49 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-49 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current a a slot been chosen one changed, THEN select a it and specialize that).
the ThenPrintToUser slot of H6-49 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-50(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF current specialize a unit, and slot has
been to the changed, THEN a part that part
the ThenCompute slot of H6-50 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
7206, 10278 free cells, 19 pages left
the ThenDefineNewConcepts slot of H6-50 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
task is to a chosen be one randomly select of it and specialize).
the ThenPrintToUser slot of H6-50 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-51(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current is specialize a unit, a slot been
chosen one changed, THEN randomly of and specialize part
the ThenCompute slot of H6-51 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-51 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
task to and has to be the select a part it that).
the ThenPrintToUser slot of H6-51 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-52(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the a unit, and slot has been the one
changed, randomly select part of it specialize part
the ThenCompute slot of H6-52 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-52 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current task is to specialize a chosen to be THEN a and that).
the ThenPrintToUser slot of H6-52 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-53(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task and a chosen one changed, THEN
randomly a part it and that
the ThenCompute slot of H6-53 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-53 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current is to specialize a unit, slot has been to be the select of specialize
part).
the ThenPrintToUser slot of H6-53 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-54(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the current task is a unit, slot has
been chosen be one THEN select a it and specialize part
the ThenCompute slot of H6-54 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
7574, 10134 free cells, 14 pages left
the ThenDefineNewConcepts slot of H6-54 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (to
specialize and a to the changed, randomly part of that).
the ThenPrintToUser slot of H6-54 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-55(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF task to specialize a unit, slot has been
be the one THEN randomly a part of it part
the ThenCompute slot of H6-55 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-55 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current is and a chosen to changed, select and specialize that).
the ThenPrintToUser slot of H6-55 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-56(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the to specialize and chosen be the of it
specialize part
the ThenCompute slot of H6-56 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-56 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current task is a unit, a slot has been to one changed, THEN randomly select a
part and that).
the ThenPrintToUser slot of H6-56 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-57(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: current to a unit, and been the one
changed, THEN randomly of specialize that
the ThenCompute slot of H6-57 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
7390, 10462 free cells, 8 pages left
the ThenDefineNewConcepts slot of H6-57 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
task is specialize a slot has chosen to be select a part it and part).
the ThenPrintToUser slot of H6-57 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-58(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: is specialize a unit, a slot to be the
randomly select part it specialize that part
the ThenCompute slot of H6-58 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-58 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF the
current task to and has been chosen one changed, THEN a of and).
the ThenPrintToUser slot of H6-58 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-59(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF the task to specialize a unit, and a
slot been to be one changed, randomly select that
the ThenCompute slot of H6-59 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-59 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (
current is has chosen the THEN a part of it and specialize part).
the ThenPrintToUser slot of H6-59 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-60(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the current task is a to one THEN randomly
select part of and that
the ThenCompute slot of H6-60 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-60 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF to
specialize unit, and a slot has been chosen be the changed, a it specialize part
).
the ThenPrintToUser slot of H6-60 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-61(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF is specialize a and slot chosen be one
changed, a part of it and specialize part
the ThenCompute slot of H6-61 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
8136, 10184 free cells, 4 pages left
the ThenDefineNewConcepts slot of H6-61 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current task to unit, a has been to the THEN randomly select that).
the ThenPrintToUser slot of H6-61 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-62(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the is to unit, slot has been be the one
randomly a of it specialize
the ThenCompute slot of H6-62 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-62 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (IF
current task specialize a and a chosen to changed, THEN select part and that
part).
the ThenPrintToUser slot of H6-62 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-63(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF current task to specialize a unit, slot
been chosen to the one changed, select of it specialize part
the ThenCompute slot of H6-63 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
the ThenDefineNewConcepts slot of H6-63 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the is
and a has be THEN randomly a part and that).
the ThenPrintToUser slot of H6-63 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-64(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: IF to specialize a a slot has been chosen
to the one changed, a part of it and part
the ThenCompute slot of H6-64 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting lists
7609, 9657 free cells, 0 pages left
the ThenDefineNewConcepts slot of H6-64 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
Specialized the English slot of H6, replacing its old value (which was (IF the
current task is to specialize a unit, and a slot has been chosen to be the one
changed, THEN randomly select a part of it and specialize that part)) by (the
current task is unit, and be THEN randomly select specialize that).
the ThenPrintToUser slot of H6-64 has been applied to (602 H6
Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
The Then Parts of the rule have been executed.
The IfWorkingOnTask slot of heuristic H6-65(Specialize a given slot of a given
unit) applies to the current task.
Inside the English slot, Eliminated: the current to a has been chosen be part of
specialize that
the ThenCompute slot of H6-65 has been applied to (602 H6 Specializations (
A new unit will be created by specializing the English slot of H6; that slot was chosen randomly.
Conjec-2) ((SlotToChange English) (CreditTo H5 H1-3)))
collecting string characters
0, 0 free cells, 0 pages left
collecting string characters
2, 514 free cells, 0 pages left
STORAGE FULL
NIL
(DATE broken)
:SOS)
Closing <CSD.LENAT>TRACE.MAR20.2